type isPillarMen = Includes<['Kars', 'Esidisi', 'Wamuu', 'Santana'], 'Dio'> // expected to be `false`

type Includes<A extends unknown[], T> = T extends A[number] ? true : false